projects / gtk4.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c2ce72) | patch
inspector: Rename a few pages
authorMatthias Clasen <mclasen@redhat.com>
Tue, 2 Apr 2019 22:00:46 +0000 (22:00 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 2 Apr 2019 23:36:45 +0000 (23:36 +0000)
commitcf3aa570c213507f0f90189cf10627d60914af1f
tree2bcf158b16d2c187f66ff9b0ef116c56bbc2d4b2tree | snapshot
parent7c2ce72b5f86690f259a00a0f01be288d8de436acommit | diff
inspector: Rename a few pages

"Global" and "Visual" are not very good names for
the content of these pages. Rename them to
"Information and "Settings".
gtk/inspector/window.ui diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.